1661. Predicate transformer semantics

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics

رده :
QA
76
.
7
.
M342
1992

1662. Principles of computer science

پدیدآورنده:

کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)

موضوع: Computer science - Mathematics,Electronic digital computers - programming

رده :
QA
76
.
9
.
M35S3
1988

1675. Probability models for computer science

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Probabilities,، Computer science -- Mathematics

رده :
QA
273
.
R675P7

1677. Probability models for computer science

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Probabilities,، Computer science-- Mathematics

رده :
QA
273
.
R852
2002

1678. Probability models for computer science

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Probabilities,Computer science -- Mathematics

رده :
QA
273
.
R852
2002

1679. Probability with R

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer science, Mathematics,Probabilities,R (Computer program language)

رده :
QA76
.
9
‬ ‭.
M35
,
H863
2009